[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 374 0 285 329 0 787 299

N.S.

1 1.00 1.39 0.00 1.06 1.22 0.00 2.93 1.11

time (sec)

N/A 0.212 0.267 0.029 0.293 0.410 0.000 3.831 0.564

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

479 479 698 0 379 550 0 1639 439

N.S.

1 1.00 1.46 0.00 0.79 1.15 0.00 3.42 0.92

time (sec)

N/A 0.324 0.240 0.030 0.298 0.498 0.000 5.460 1.762

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

759 759 1006 0 0 0 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.753 1.028 0.069 0.000 0.000 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 675 0 0 0 0 0 -1

N.S.

1 1.00 1.55 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.591 0.461 0.029 0.000 0.000 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 527 0 0 0 0 0 -1

N.S.

1 1.00 3.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.129 0.197 0.056 0.000 0.000 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 666 0 645 750 0 1758 570

N.S.

1 1.00 1.52 0.00 1.47 1.71 0.00 4.01 1.30

time (sec)

N/A 0.301 0.508 0.060 0.323 0.416 0.000 3.970 0.740

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

907 907 962 0 851 1290 0 3651 992

N.S.

1 1.00 1.06 0.00 0.94 1.42 0.00 4.03 1.09

time (sec)

N/A 0.642 1.085 0.066 0.338 0.436 0.000 3.532 8.196

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 134 0 97 159 0 103 112

N.S.

1 1.00 0.94 0.00 0.68 1.11 0.00 0.72 0.78

time (sec)

N/A 0.069 0.082 0.015 0.283 0.387 0.000 4.266 0.702

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 65 0 86 389 0 97 -1

N.S.

1 1.00 0.54 0.00 0.71 3.21 0.00 0.80 -0.01

time (sec)

N/A 0.049 0.013 0.015 0.519 0.407 0.000 3.561 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 91 0 66 115 0 72 73

N.S.

1 1.00 0.97 0.00 0.70 1.22 0.00 0.77 0.78

time (sec)

N/A 0.044 0.019 0.013 0.290 0.412 0.000 4.616 0.592

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 53 168 54 274 112 57 51

N.S.

1 1.00 0.82 2.58 0.83 4.22 1.72 0.88 0.78

time (sec)

N/A 0.029 0.012 0.220 0.546 0.403 18.159 3.115 0.429

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 0 130 0 0 0 -1

N.S.

1 1.00 1.00 0.00 2.36 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.035 0.010 0.030 0.733 0.000 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 80 0 67 232 0 73 -1

N.S.

1 1.00 1.04 0.00 0.87 3.01 0.00 0.95 -0.01

time (sec)

N/A 0.033 0.036 0.017 0.507 0.484 0.000 4.580 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 94 0 88 80 0 104 74

N.S.

1 1.00 1.06 0.00 0.99 0.90 0.00 1.17 0.83

time (sec)

N/A 0.048 0.025 0.018 0.297 0.407 0.000 4.328 0.439

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 137 0 97 317 0 103 -1

N.S.

1 1.00 1.04 0.00 0.73 2.40 0.00 0.78 -0.01

time (sec)

N/A 0.058 0.048 0.013 0.539 0.366 0.000 3.717 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

412 412 968 0 0 0 0 0 -1

N.S.

1 1.00 2.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.601 0.320 0.040 0.000 0.000 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 542 0 0 0 0 0 -1

N.S.

1 1.00 2.27 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 0.315 0.030 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 199 0 0 0 0 0 -1

N.S.

1 1.00 2.09 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.126 0.025 0.000 0.000 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 691 0 299 294 0 0 302

N.S.

1 1.00 2.50 0.00 1.08 1.07 0.00 0.00 1.09

time (sec)

N/A 0.206 0.362 0.031 0.301 0.374 0.000 0.000 0.573

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

482 482 1021 0 389 483 0 0 440

N.S.

1 1.00 2.12 0.00 0.81 1.00 0.00 0.00 0.91

time (sec)

N/A 0.315 0.579 0.026 0.314 0.370 0.000 0.000 1.809

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

490 490 735 0 0 0 0 0 -1

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.529 1.456 0.027 0.000 0.000 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 296 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.291 0.699 0.014 0.000 0.000 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 598 0 0 0 0 0 -1

N.S.

1 1.00 1.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.381 0.890 0.031 0.000 0.000 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

773 773 1014 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.782 1.439 0.063 0.000 0.000 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

451 451 683 0 0 0 0 0 -1

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.573 0.695 0.039 0.000 0.000 0.000 0.000 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 341 0 0 0 0 0 -1

N.S.

1 1.00 2.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.238 0.061 0.000 0.000 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 692 0 689 686 0 0 578

N.S.

1 1.00 1.54 0.00 1.53 1.53 0.00 0.00 1.29

time (sec)

N/A 0.305 0.745 0.045 0.316 0.400 0.000 0.000 0.745

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

1278 0 764 0 0 0 0 0 -1

N.S.

1 0.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.992 2.941 0.058 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

738 0 824 0 0 0 0 0 -1

N.S.

1 0.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.813 3.517 0.026 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

483 0 1097 0 0 0 0 0 -1

N.S.

1 0.00 2.27 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.866 1.299 0.057 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

784 0 2726 0 0 0 0 0 -1

N.S.

1 0.00 3.48 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.267 5.979 0.065 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

730 730 435 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.865 1.235 0.057 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

551 551 325 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.569 1.133 0.012 0.000 0.000 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 229 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.363 0.638 0.003 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 130 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.151 0.330 0.003 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 0.257 0.003 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.032 0.430 0.002 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

907 907 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.944 0.346 0.034 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

677 677 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.643 0.234 0.003 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

445 445 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.417 0.170 0.004 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

213 213 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.173 0.089 0.002 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.088 0.003 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 0.089 0.003 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.892 0.016 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.013 0.222 0.004 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 0.270 0.006 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 131 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.161 0.279 0.005 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

552 552 325 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.564 0.927 0.013 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

926 926 525 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.037 3.738 0.005 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 0.168 0.017 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 0.078 0.004 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.127 0.004 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

216 213 0 0 0 0 0 0 -1

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.197 0.102 0.004 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

676 676 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.664 0.103 0.004 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1141 1141 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.187 0.101 0.005 0.000 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1121 1121 670 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.259 3.347 0.005 0.000 0.000 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

831 831 501 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.907 1.264 0.003 0.000 0.000 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

553 553 325 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.560 1.112 0.002 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 174 0 0 0 0 0 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.253 0.385 0.011 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 0.219 0.001 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.507 0.003 0.000 0.000 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1363 1363 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.454 0.470 0.006 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1035 1035 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.020 0.325 0.003 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

673 673 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.648 0.229 0.002 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

338 338 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.296 0.095 0.004 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.085 0.003 0.000 0.000 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 0.087 0.004 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

557 557 325 0 0 0 0 0 -1

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.582 1.175 0.006 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 181 0 0 0 0 0 -1

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.261 0.409 0.002 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.246 0.003 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 0.471 0.003 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.604 0.002 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.021 0.171 0.003 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.435 0.003 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

678 675 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.670 0.363 0.015 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

350 347 0 0 0 0 0 0 -1

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.210 0.002 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.118 0.004 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 0.117 0.003 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 0.128 0.002 0.000 0.000 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.022 0.071 0.003 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.093 0.003 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 1.290 0.009 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.021 0.241 0.013 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.270 0.004 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 175 0 0 0 0 0 -1

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.266 0.366 0.005 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

554 554 325 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.595 0.945 0.003 0.000 0.000 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

832 832 502 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.894 0.988 0.005 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.030 0.173 0.016 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.083 0.004 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.128 0.004 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

342 339 0 0 0 0 0 0 -1

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.333 0.101 0.004 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

673 673 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.678 0.104 0.004 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1036 1036 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.046 0.101 0.004 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.040 1.074 0.009 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 1.182 0.005 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.603 0.005 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.022 0.226 0.010 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.367 0.005 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.361 0.005 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 0.214 0.018 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]